(define (problem tire_37_0_4372)
  (:domain tire)
  (:objects n0 n1 n2 n3 n4 n5 n6 n7 n8 n9 n10 n11 n12 n13 n14 n15 n16 n17 n18 n19 n20 n21 n22 n23 n24 n25 n26 n27 n28 n29 n30 n31 n32 n33 n34 n35 n36 - location)
  (:init (vehicle-at n0)
         (road n0 n30) (road n30 n0)
         (road n0 n31) (road n31 n0)
         (road n1 n11) (road n11 n1)
         (road n1 n20) (road n20 n1)
         (road n2 n19) (road n19 n2)
         (road n2 n27) (road n27 n2)
         (road n3 n29) (road n29 n3)
         (road n4 n7) (road n7 n4)
         (road n4 n11) (road n11 n4)
         (road n4 n16) (road n16 n4)
         (road n5 n11) (road n11 n5)
         (road n5 n24) (road n24 n5)
         (road n5 n26) (road n26 n5)
         (road n6 n28) (road n28 n6)
         (road n6 n31) (road n31 n6)
         (road n6 n33) (road n33 n6)
         (road n7 n9) (road n9 n7)
         (road n7 n16) (road n16 n7)
         (road n7 n29) (road n29 n7)
         (road n8 n11) (road n11 n8)
         (road n8 n18) (road n18 n8)
         (road n9 n18) (road n18 n9)
         (road n9 n26) (road n26 n9)
         (road n9 n33) (road n33 n9)
         (road n10 n13) (road n13 n10)
         (road n10 n18) (road n18 n10)
         (road n10 n34) (road n34 n10)
         (road n11 n15) (road n15 n11)
         (road n11 n19) (road n19 n11)
         (road n12 n20) (road n20 n12)
         (road n12 n25) (road n25 n12)
         (road n12 n29) (road n29 n12)
         (road n13 n28) (road n28 n13)
         (road n14 n25) (road n25 n14)
         (road n14 n34) (road n34 n14)
         (road n15 n23) (road n23 n15)
         (road n15 n33) (road n33 n15)
         (road n16 n35) (road n35 n16)
         (road n17 n22) (road n22 n17)
         (road n17 n24) (road n24 n17)
         (road n17 n36) (road n36 n17)
         (road n18 n30) (road n30 n18)
         (road n18 n31) (road n31 n18)
         (road n18 n33) (road n33 n18)
         (road n18 n36) (road n36 n18)
         (road n19 n36) (road n36 n19)
         (road n20 n28) (road n28 n20)
         (road n21 n22) (road n22 n21)
         (road n21 n32) (road n32 n21)
         (road n22 n24) (road n24 n22)
         (road n23 n26) (road n26 n23)
         (road n24 n31) (road n31 n24)
         (road n24 n32) (road n32 n24)
         (road n24 n35) (road n35 n24)
         (road n25 n29) (road n29 n25)
         (road n26 n27) (road n27 n26)
         (road n26 n28) (road n28 n26)
         (road n26 n29) (road n29 n26)
         (road n27 n28) (road n28 n27)
         (road n27 n30) (road n30 n27)
         (road n28 n36) (road n36 n28)
         (road n29 n31) (road n31 n29)
         (road n29 n33) (road n33 n29)
         (road n30 n32) (road n32 n30)
         (road n30 n35) (road n35 n30)
         (road n31 n32) (road n32 n31)
         (road n31 n36) (road n36 n31)
         (road n32 n35) (road n35 n32)
         (road n33 n35) (road n35 n33)
         (road n34 n35) (road n35 n34)
         (road n34 n36) (road n36 n34)
         (road n35 n36) (road n36 n35)
         (spare-in n1)
         (spare-in n5)
         (spare-in n7)
         (spare-in n8)
         (spare-in n9)
         (spare-in n12)
         (spare-in n15)
         (spare-in n16)
         (spare-in n17)
         (spare-in n22)
         (spare-in n24)
         (spare-in n27)
         (spare-in n28)
         (spare-in n29)
         (spare-in n30)
         (spare-in n32)
         (not-flattire)
  )
  (:goal (vehicle-at n18))
)
